home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / ai.prl / dprolog.lha / birds.dpl next >
Text File  |  1991-03-05  |  217b  |  21 lines
  1.  
  2. flies(X) :=
  3.         bird(X).
  4.  
  5. neg flies(X) :-
  6.         penguin(X).
  7.  
  8. neg flies(X) :^
  9.         sick(X).
  10.  
  11. flies(buzz) :=
  12.         true.
  13.  
  14. bird(woody).
  15.  
  16. bird(X) :-
  17.         penguin(X).
  18.  
  19. penguin(chilly).
  20.  
  21.